theorem proving meaning in English
定理证明
Examples
- A member of the herbrand base is called atom in automatic theorem proving
在自动定理证明中,海尔勃朗基的成员也称为原子。 - A new method based on numeric computation for automated geometric theorem proving and discovering is shown
摘要该文提出了利用数值方法进行几何定理自动搜索的方法，并基于此方法开发了几何定理动态搜索系统。 - Singapore : world scientific , 1994 . 4 li h , wu y . automated theorem proving in projective geometry with cayley and bracket algebras
其中特征列方法是定理机器证明与方程求解的基础，也是数学机械化领域目前研究的核心内容。 - An convergence theorem proved and in order to speed convergence of working - set algorithm , constrained matrix derived from abs in working - set method corrected
为提高算法的收敛速度，对工作集算法中由abs算法生成的约束阵进行了校正 - In this paper , we do two things . first , for theorem proving problem such like ( vx ) ( 3y ) p ( x , y ) , we present a method for extracting procedure from the proofs generated by the resolution principle
) y ) p ( x ， y )的定理证明问题，本文从分析归结证明树中的每个节点入手，提取归结证明的过程信息，生成一个程序。